Synthesis of Decentralized Supervisor for Petri Nets Using Decomposition with Overlapping Places
نویسنده
چکیده
Petri nets are a formal tool for describing processes in a many of important technical and social applications. Their advantage over other related type instruments is very effective modeling of parallelism. This makes it easy to avoid improper behavior process. This article deals with the use of Petri nets for modeling specific type of control of dynamic systems, which reduces improper behavior of these systems. One way to influence the behavior of the system is a suitable feedback that prevents the emergence of adverse conditions. The article presents the partial achievements of our research on loopback control and design supervisors for Petri nets.
منابع مشابه
Modeling a Bank ATM with Two Directions Places Timed Petri Net (TPN)
A Bank ATM is including controller, card authorization system and a teller unit .This paper explains howthis parts connects together. In this paper will be used of a new mode place in Petri nets. More systemsusually have a complex constructs. ATM will be simulated use of new mode place at this study. The Mainpart of this model is used of T.S.Staines model [1]. We discuss how a simple model of T...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملAdmissible Decentralized Control of Petri Nets
Supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets. In this paper we propose extensions of the SBPI to a decentralized control setting. In our setting, a decentralized supervisor consists of local supervisors, each controlling and observing a part of the Petri net. We consider both versions of decentralized control, with communicatio...
متن کاملDecentralized Control of Petri Nets
Supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets. In this paper we propose extensions of the SBPI to a decentralized control setting. In our setting, a decentralized supervisor consists of local supervisors, each controlling and observing a part of the Petri net. We consider both versions of decentralized control, with communicatio...
متن کاملSome New Results on Supervisory Control of Petri Nets with Decentralized Monitor Places
This paper presents two new results on the problem of determining a set of decentralized controllers for place/transition nets to enforce a global specification on the net behavior. Both the global specification and the decentralized specifications are given in terms of Generalized Mutual Exclusion Constraints (GMECs). First, an algorithm to select a decentralized specification that finds a com...
متن کامل